Shut down jsonrpc server more gracefully
authorDaniel Pettersson <daniel@dpettersson.net>
Tue, 23 Apr 2024 16:58:06 +0000 (18:58 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 27 Apr 2024 09:15:33 +0000 (12:15 +0300)
commit3aed4400257a6762de96be37fa95357b5836363c
tree1bd4e7776f82c3f9ff32cfdd5238bfd0c272d195
parent4e17e0b84ae1a52a6032c83592bf958a1e26dea5
Shut down jsonrpc server more gracefully

* lisp/jsonrpc.el (jsonrpc-running-p): Avoid unnecessarily killing
the server process.  Suggested by Aaron Zeng <azeng@janestreet.com>.
(Bug#70522)
lisp/jsonrpc.el